HomeПоиск по сайту

Поиск по сайту

Information
По вашему запросу найдено материалов: 1
Искать:
Ilev Artem V. «Axiomatizability and decidability of universal theories of hereditary classes of models of finite and infinite languages» // Prikladnaya Diskretnaya Matematika - Applied Discrete Mathematics 2024. №66 C.14-29